An Examination of Requirements Specification Languages
نویسندگان
چکیده
منابع مشابه
An Examination of Requirements Specification Languages
We examine the features which are most desirable in requirements specification languages, and then use the framework to review six established languages: PSL, SADT, EDDA, SAMM, HOS and RSL.
متن کاملan examination of developmental dyslexia among iranian efl second graders
چکیده رساله/پایان نامه: این تحقیق جهت بررسی تاثیر نارسا خوانی در یادگیری زبان انگلیسی به عنوان زبان خارجه در میان دانش اموزان ایرانی مقطع دوم راهنمایی طراحی شده است. ده نفر از دانش اموزان ایرانی مقطع دوم راهنمایی و ده نفر از دانش اموزان غیر نارسا خوان همان مقطع برای انجام این تحقیق انتخاب شدند. تمام شرکت کنندگان توسط ازمون زبان انگلیسی ای که برای این هدف ساخته شده و متشکل از بخشهای خواندن ام...
15 صفحه اولAn Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements
A well-known side-effect of applying requirements specification languages is that the formalization of informal requirements leads to the detection of defects such as omissions, conflicts, and ambiguities. However, there is little quantitative data available on this effect. This chapter presents an empirical study of requirements specification languages, in which two research questions are addr...
متن کاملAn Empirical Investigation of the Defect Detection Capabilities of Requirements Specification Languages
It is a frequently reported effect of applying requirements specification languages that the formalization of informal requirements leads to the detection of defects such as omissions, conflicts, and ambiguities. However, there is little quantitative data available on this effect. This paper presents an empirical study with requirements specification languages, which addresses two research ques...
متن کاملAn Overview of Formal Hardware Specification Languages
Verification is widely recognized as one of the most difficult aspects of computer hardware design. The gap between design and verification capabilities grows, as does the cost of missed flaws. Many researchers investigate ways to formally verify processor designs, interconnects, and protocols, but creating verification methods and tools will remain a central problem for computer scientists for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1991
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/34.2.143